Een abstracte voorstelling van alle mogelijke opeenvolgingen van gebeurtenissen (programmapaden) tijdens de uitvoering binnen een component of systeem.Een abstracte voorstelling van alle mogelijke opeenvolgingen van gebeurtenissen (programmapaden) tijdens de uitvoering binnen een component of systeem.